提出人是机器的哲学家 形而上学唯物主义